package project.parser.ast.literals;

import project.environments.DynamicEnv;
import project.environments.StaticEnv;
import project.environments.Value;
import project.parser.ast.exps.Fields;
import project.parser.ast.types.Type;

public class RecordLiteral extends Literal<Fields> {
	public RecordLiteral(Fields value) {
		super(value);
	}

	@Override
	public Type typecheck(StaticEnv senv) {
		return value.typecheck(senv);
	}

	@Override
	public Value evaluate(DynamicEnv denv) {
		return value.evaluate(denv);
	}
}
